Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
871	Programming with Human Computation by Greg Little B.S., Arizona State University[removed]S.M., Massachusetts Institute of Technology (2007) Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2011-05-31 10:08:40 Mathematics Computability theory Computer science Algorithm Mathematical logic Amazon Mechanical Turk Computation Computer Parallel computing Theoretical computer science Human-based computation Applied mathematics
872	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
873	i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2013-03-25 07:54:23 Computability theory Theory of computation Models of computation Mathematical logic Quantum computer Turing machine Boolean algebra Algorithm Hypercomputation Theoretical computer science Mathematics Applied mathematics
874	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
875	Microsoft Word - AG7-Butterflies Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:02 Probabilistic complexity theory Computability theory Post correspondence problem Probabilistically checkable proof PCP Applied mathematics Mathematics Theoretical computer science Mathematical proofs Theory of computation
876	Separation of NP-completeness Notions A. Pavan Alan L Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2001-03-30 11:54:28 Complexity classes Models of computation Computability theory Mathematical optimization NP Time complexity Oracle machine P Turing machine Theoretical computer science Computational complexity theory Applied mathematics
877	Reductions between Disjoint NP-Pairs Christian Glaßer ∗ ¨ Informatik IV Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2003-04-21 14:49:45 Computability theory Structural complexity theory Complexity classes Mathematical optimization NP-complete P versus NP problem Turing reduction Oracle machine Time complexity Theoretical computer science Computational complexity theory Applied mathematics
878	Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61 Add to Reading List Source URL: www.csc.villanova.edu Language: English - Date: 2014-03-25 12:26:15 Non-classical logic Logic in computer science Philosophical logic Proof theory Computability logic Giorgi Japaridze Cointerpretability Weak interpretability George Boolos Logic Mathematical logic Mathematics
879	Private Computation Using a PEZ Dispenser J´ ozsef Balogh, J´ anos A. Csirik, Yuval Ishai, Eyal Kushilevitz November 6, 2001 Add to Reading List Source URL: www.csirik.net Language: English - Date: 2014-01-19 15:08:47 Permutation Computability theory Theory of computation Orbifold Natural deduction Mathematics Combinatorics Symbol
880	Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems Christian Glaßer ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2005-07-07 15:16:38 Complexity classes Computability theory Structural complexity theory Mathematical optimization NP-complete NP P versus NP problem Oracle machine Function Theoretical computer science Computational complexity theory Applied mathematics

UPDATE